Gnomit / Keyword Search / Info
Gnomit ? ? ?
Results 1 - 2 of 2 for:
psl
1
electronic design automation
1 ?
 21,213,375 websites (safe search)

  1. ModelSim - a comprehensive simulation and debug environment for complex ASIC and FPGA designs

    ModelSim provides a comprehensive simulation and debug environment for complex ASIC and FPGA designs. Support is provided for all languages including Verilog, ...
    EDA1
    VHDL1
    Verilog1
    PSL1
    Electronic Design Automation1
    SystemC1
    SystemVerilog1
    ModelSim1
    Code Coverage1
    RTL Design1
    simulation technology1
    System-Level Design1
    Advanced Debugging0
    Broad Standards Support0
    HDL simulation tools0

    www.model.com - 2009-02-13

  2. Welcome to Real Intent, Inc.

    Real Intent is developing block-to-chip level assertion-based formal verification products that dramatically improve the functional verification efficiency of ...
    formal2
    verification2
    magellan1
    EDA1
    archer1
    hdl1
    vhdl1
    verilog1
    psl1
    verifier1
    Electronic Design Automation1
    civ1
    hierarchical1
    ABV1
    systemverilog1
    blacktie1
    ovl1
    formal verification1
    Semi-formal1
    Functional verification1
    Model checking1
    property checking1
    verix1
    Functional coverage1
    0-in0
    assertion-based verification0
    Automatic assertion0
    clock intent0
    expressed intent0
    implied intent0
    Real Intent0
    static verification0

    www.realintent.com - 2009-02-06

lusitano1 autocad2 port saint lucie1 florida5 take4 fort pierce1 port st. lucie1 andalusian1 circuit simulation1 horse3 orlando3 cnc3 jacksonville3 circuit simulator1 dressage2 cad3 eda1 analog2 cam5 design7 tampa3 design for manufacturing1

About Gnomit
Keywords may contain spaces.
Separate multiple keywords with commas.
Start a new search.
Enter new keyword(s).
Narrow down your search.
Add keyword(s).
Broaden your search.
Click on Keyword to remove from query.